'(THIS IS THE UNFASL FOR ((DSK (TIM LSP)) FOO LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON NOVEMBER 24, 1987, AT 8:14 PM

	(COMMENT **FASL** 0. (LAP ADD-LEMMA SUBR)) 
	(COMMENT **FASL** 35. (LAP ADD-LEMMA-LST SUBR)) 
	(COMMENT **FASL** 45. (LAP APPLY-SUBST SUBR)) 
	(COMMENT **FASL** 69. (LAP APPLY-SUBST-LST SUBR)) 
	(COMMENT **FASL** 85. (LAP FALSEP SUBR)) 
	(COMMENT **FASL** 102. (LAP ONE-WAY-UNIFY SUBR)) 
	(COMMENT **FASL** 104. (LAP ONE-WAY-UNIFY1 SUBR)) 
	(COMMENT **FASL** 142. (LAP ONE-WAY-UNIFY1-LST SUBR)) 
	(COMMENT **FASL** 157. (LAP REWRITE SUBR)) 
	(COMMENT **FASL** 184. (LAP REWRITE-ARGS SUBR)) 
	(COMMENT **FASL** 196. (LAP REWRITE-WITH-LEMMAS SUBR)) 
	(COMMENT **FASL** 218. (LAP SETUP SUBR)) 
	(COMMENT **FASL** 228. (LAP TAUTOLOGYP SUBR)) 
	(COMMENT **FASL** 300. (LAP TAUTP SUBR)) 
	(COMMENT **FASL** 303. (LAP TEST SUBR)) 
	(COMMENT **FASL** 312. (LAP TEST2 SUBR)) 
	(COMMENT **FASL** 316. (LAP TEST3 SUBR)) 
	(COMMENT **FASL** 318. (LAP TRANS-OF-IMPLIES SUBR)) 
(COMMENT ****  (SUB1 N) Closed compilation forced in function TRANS-OF-IMPLIES1)
(COMMENT ****  (SUB1 N) Closed compilation forced in function TRANS-OF-IMPLIES1)
	(COMMENT **FASL** 332. (LAP TRANS-OF-IMPLIES1 SUBR)) 
	(COMMENT **FASL** 363. (LAP TRUEP SUBR)) 
	(COMMENT **FASL** TOTAL =  380. WORDS)